Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
671	Education Adjustment Program (EAP) Handbook Add to Reading List Source URL: education.qld.gov.au Language: English - Date: 2015-01-19 00:52:25 Formal verification Applied mathematics Science Education Systems engineering Verification Disability
672	¨t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:24 Software engineering Abstract state machines Electronic commerce Communications protocol Mondex Smart card Program refinement E Purse Computing Formal methods Payment systems
673	Topcased[removed]Release Note Requirements and Installation Topcased is based on Ganymede (Eclipse[removed]version) and requires a JVM 1.5 You can download it as a standalone application or install it directly through the Add to Reading List Source URL: gforge.enseeiht.fr Language: English UML diagrams Unified Modeling Language Systems engineering Acceleo Formal methods Systems Modeling Language SIGNAL Class diagram ECO Software Computing Eclipse
674	Topcased[removed]Release Note Requirements and Installation Topcased is based on Ganymede (Eclipse[removed]version) and requires a JVM 1.5 You can download it as a standalone application or install it directly through the Add to Reading List Source URL: gforge.enseeiht.fr Language: English UML diagrams Unified Modeling Language Systems engineering Acceleo Formal methods Systems Modeling Language SIGNAL Class diagram ECO Software Computing Eclipse
675	RESOL UTION FORMAL ACCEPTANCE OF WATER AND SEWER SYSTEMS - FY 2008 WHEREAS, certain water and sewer infrastructures have been constructed by developers and dedicated to the James City Service Authority; and Add to Reading List Source URL: www.jamescitycountyva.gov Language: English - Date: 2009-07-20 10:25:59 Sewer Aye-aye Lemurs Onomatopoeias
676	FINANCIAL ASSISTANCE FUNDING OPPORTUNITY ANNOUNCEMENT U. S. Department of Energy Office of Science Office of Advanced Scientific Computing Research Add to Reading List Source URL: science.energy.gov Language: English - Date: 2013-08-26 12:50:54 Database theory Information technology management Formal sciences Emerging technologies Funding Opportunity Announcement Public finance Database Big data Extract transform load Data management Technology Database management systems
677	Software Certification: Methods and Tools Dagstuhl-Seminar[removed]Preliminary Program Monday, [removed]Welcome Session Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2013-01-30 03:30:40 Avionics Embedded systems Safety Formal methods Software requirements DO-178C Dagstuhl Software development process Professional certification Software development Computing Science
678	SM OPEN DATA CENTER ALLIANCE : Big Data Consumer Guide sm Add to Reading List Source URL: www.opendatacenteralliance.org Language: English - Date: 2014-09-20 10:51:37 Database management systems Business intelligence Formal sciences Apache Hadoop Extract transform load Data center Database Data architecture Analytics Computing Data management Information technology management
679	Working Papers on Information Systems ISSN[removed]How Agile is Agile Enough? Towards A Theory of Agility in Software Development Add to Reading List Source URL: sprouts.aisnet.org Language: English - Date: 2010-03-15 21:02:42 Science Software Design Agile software development Innovation Software development process IBM Rational Unified Process Absorptive capacity Creativity Software development Software project management Formal methods
680	Department of Applied Mathematics ISU Geometry Spring 2008 Add to Reading List Source URL: web.math.isu.edu.tw Language: English - Date: 2008-03-11 04:19:23 Formal systems Elementary geometry Euclidean plane geometry Incidence geometry Line Axiom Incidence Plane Ordered geometry Geometry Mathematics Projective geometry

UPDATE